A formalizing description method of Web service is put forward based on Logic Petri Nets, this approach not only describes the input/ output parameters, Quality of Service ( QoS) and behavioral constraints of Web services effectively, but also describes the parameter uncertainty effectively. 给出了一种基于逻辑Petri网的Web服务形式化描述方法,它不仅能有效刻画Web服务的输入/输出参数、质量约束及行为约束限制,而且能有效描述复合Web服务的参数不确定性。
We can find out network performance bottleneck and estimate capability of present network to satisfy service quality, provide idiographic reference data to optimize network by analyzing data of SLA parameter. 通过对SLA数据的分析,能够发现网络性能瓶颈,判断现有网络在满足服务质量方面的能力,为网络的优化提供具体的参考依据。